Polynomial-time algorithms for computing distances of fuzzy transition systems
نویسندگان
چکیده
منابع مشابه
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems
Behaviour distances to measure the resemblance of two states in a (nondeterministic) fuzzy transition system have been proposed recently in the literature. Such a distance, defined as a pseudo-ultrametric over the state space of the model, provides a quantitative analogue of bisimilarity. In this paper, we focus on the problem of computing these distances. We first extend the definition of the ...
متن کاملPolynomial-Time Algorithms for Submodular Laplacian Systems
Let G = (V,E) be an undirected graph, LG ∈ R ×V be the associated Laplacian matrix, and b ∈ R V be a vector. Solving the Laplacian system LGx = b has numerous applications in theoretical computer science, machine learning, and network analysis. Recently, the notion of the Laplacian operator LF : R V → 2 V for a submodular transformation F : 2 → RE+ was introduced, which can handle undirected gr...
متن کاملAlgorithms for computing triangular decomposition of polynomial systems
We discuss algorithmic advances which have extended the pioneer work of Wu on triangular decompositions. We start with an overview of the key ideas which have led to either better implementation techniques or a better understanding of the underlying theory. We then present new techniques that we regard as essential to the recent success and for future research directions in the development of t...
متن کاملAlgorithms for Computing Limit distributions of Oscillating Systems with Finite Capacity
We address the batch arrival systems with finite capacity under partial batch acceptance strategy where service times or rates oscillate between two forms according to the evolution of the number of customers in the system. Applying the theory of Markov regenerative processes and resorting to Markov chain embedding, we present a new algorithm for computing limit distributions of the number cus...
متن کاملEfficient polynomial time algorithms computing industrial-strength primitive roots
E. Bach, following an idea of T. Itoh, has shown how to build a small set of numbers modulo a prime p such that at least one element of this set is a generator of Z/pZ. E. Bach suggests also that at least half of his set should be generators. We show here that a slight variant of this set can indeed be made to contain a ratio of primitive roots as close to 1 as necessary. In particular we prese...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2018
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2018.03.002